@conference{Sveda:2003aa,
Address = {Alabama},
Author = {Sveda, M. and Rattray, C. and Rozenblit, J.W.},
Booktitle = {Proc. of the 10th IEEE Conference on Engineering of Computer-Based Systems},
Month = {April},
Pages = {169-172},
Title = {Formal Specifications of Computer-Based Systems},
Year = {2003}}