@inproceedings {354,
	title = {Automated Verification of Complex Behavioral Models Using the SAL Model Checker},
	booktitle = {Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008)},
	year = {2008},
	month = {2008},
	pages = {35 - 42},
	publisher = {L{\textquoteright}Harmattan Kiad{\'o}},
	organization = {L{\textquoteright}Harmattan Kiad{\'o}},
	address = {Budapest},
	url = {http://mycite.omikk.bme.hu/doc/39780.pdf},
	author = {{\'A}ron Sisak and Gergely Pint{\'e}r and Istv{\'a}n Majzik},
	editor = {G{\'e}za Tarnai and Etienne Schnieder}
}
