@InProceedings{Botaschanjan:FM06-163,
  author =       "Jewgenij Botaschanjan and Alexander Gruler and
                 Alexander Harhurin and Leonid Kof and Maria Spichkova
                 and David Trachtenherz",
  title =        "Towards Modularized Verification of Distributed
                 Time-Triggered Systems",
  year =         "2006",
  pages =        "163--178",
  ee =           "http://dx.doi.org/10.1007/11813040_12",
  editor =       "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
  booktitle =    "{FM} 2006: Formal Methods, 14th International
                 Symposium on Formal Methods, Hamilton, Canada, August
                 21--27, 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4085",
  ISBN =         "3-540-37215-6",
}