@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} }