@conference{Sveda:2002aa,
Address = {Lund, Sweden},
Author = {Sveda, M. and Rattray, C. and Rozenblit, J.W.},
Booktitle = {Proc.of the 2002 IEEE Conference on Engineering of Computer-Based Systems},
Month = {April},
Pages = {224-225},
Title = {Formal Specifications of Computer Based Systems},
Year = {2002}}