Special Issue on Formal Modeling and Verification of Critical Systems<pre>@proceedings{AMMN-08-b,
  editor        = {Serge Autexier and Heiko Mantel and Stephan Merz and Tobias Nipkow},
  title         = {Special Issue on Formal Modeling and Verification of Critical Systems},
  journal       = {Journal of Automated Reasoning},
  volume        = {forthcoming},
  type          = {Special Issue},
  publisher     = {Springer},
  month         = {december},
  year          = {2008},
}
</pre>