selected publications chapter Service specification concepts in TINA-C. Lecture Notes in Computer Science. 355-366. 1994