@techreport{Canver98:FVCAABD,
   author = {Canver, Erc\"ument},
   institution = {Universit\"at Ulm},
   month = {M\"arz},
   note = {ISSN 0939-5091},
   number = {98-05},
   title = {{Formal Verification of a Coordinated Atomic Action Based Design}},
   type = UIB,
   year = {1998}
}