@inproceedings{VBLM_SEEFM05,
  author    = "J. Veijalainen and E. Berki and J. Lehmonen and P. Moisanen",
  title     = "{Implementing a New International Paper Mill Efficiency Standard - Using Computational Correctness Criteria to Model and Verify Timed Events}",
  booktitle = "2nd South-East European Workshop on Formal Methods (SEEFM 05), Formal Methods: Challenges in the Business World, Ohrid, 18-19 Nov 2005",
  month     = jun,
  editor    = "G. Eleftherakis",
  publisher = "South-East European Research Centre (SEERC)",
  year      = "2006",
  isbn      = "960-87869-8-3",
  pages     = "27--43"
};