Concurrent timed port automata - Grosu, Radu; Rumpe, Bernhard 1967- (Technische Universität <München>: TUM-I, 1995)