A logical basis for component-oriented software and systems engineering - Broy, Manfred
Keywords: Interactive software systems; Systems development; Systems engineering