@article {361,
	title = {Supporting design and development of safety critical applications by model based tools},
	journal = {ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA},
	volume = {30},
	year = {2009},
	month = {2009},
	pages = {61 - 78},
	isbn = {0138-9491},
	url = {http://mycite.omikk.bme.hu/doc/81029.pdf},
	author = {Gergely Pint{\'e}r and Zolt{\'a}n Micskei and Istv{\'a}n Majzik}
}
