@Book{ autexier.ea:special:2008, editor = {Serge Autexier and Heiko Mantel and Stephan Merz and Tobias Nipkow}, publisher = {Springer}, series = {Journal of Automated Reasoning}, volume = 41, number = {3--4}, title = {Special Issue on Formal Modeling and Verification of Critical Systems}, year = 2008, url = {http://link.springer.com/journal/10817/41/3/page/1} }