@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