Integration of Software Specification Techniques for Applications in Engineering (English, Electronic book text, Ehrig Hartmut)