@article{pub4100,
    abstract = {o.A.},
    number = {3-4},
    month = {11},
    year = {2008},
    title = {Preface. Special Issue on Formal Modeling and Verification of Critical Systems},
    journal = {Journal of Automated Reasoning (JAR)},
    volume = {41},
    pages = {191-192},
    publisher = {Springer Netherlands},
    author = {Serge Autexier and Heiko Mantel and S. Merz and T. Nipkow},
    url = {http://www.springerlink.com/content/p5581q836x808g54/}
}