@inproceedings{Canver99:FDOBSTLS,
   author = {Canver, E. and von Henke, F.W.},
   booktitle = {{Formal Methods for Open Object-Based Distributed Systems}},
   title = {{Formal Development of Object-Based Systems in a Temporal Logic Setting}},
   pages = {419--436},
   editors = {Ciancarini, P.\ and Fantechi, A.\ and Gorrieri, R.\},
   address = {Florence},
   organization = {IFIP},
   publisher = {Kluwer Academic Publishers},
   month = {February},
   year = {1999}
}