@inproceedings {3977,
	title = {K-induction based verification of real-time safety critical systems.},
	booktitle = {Conference on Dependability and Complex Systems DepCoS-RELCOMEX},
	year = {2013},
	month = {2013},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Brun{\'o}w, Poland},
	isbn = {978-3-319-00944-5},
	doi = {10.1007/978-3-319-00945-2_43},
	url = {http://link.springer.com/chapter/10.1007\%2F978-3-319-00945-2_43},
	author = {Tam{\'a}s T{\'o}th and Istv{\'a}n Majzik and Andr{\'a}s V{\"o}r{\"o}s},
	editor = {Wojciech Zamojski and Jacek Mazurkiewicz and Jaros{\l}aw Sugier and Tomasz Walkowiak and Janusz Kacprzyk}
}
