@inbook{Pelanek2008,
 address = {Berlin, Heidelberg},
 author = {Radek Pelánek},
 booktitle = {Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers},
 doi = {10.1007/978-3-540-79707-4_12},
 editor = {Leue, Stefan
and Merino, Pedro},
 isbn = {978-3-540-79707-4},
 pages = {149--163},
 publisher = {Springer Berlin Heidelberg},
 title = {Model Classifications and Automated Verification},
 url = {http://dx.doi.org/10.1007/978-3-540-79707-4_12},
 year = {2008}
}