@phdthesisWit2005, Author = {Wittke, Hartmut},Title = {An Environment for Compositional Specification and Verification of Complex Embedded Systems},Year = {2005},Month = {01},type = {phdthesis} @COMMENTBibtex file generated on