Hendrik Berndt Peter Graubmann Masaki Wakano Service Specification Concepts in TINA-C. 355-366 1994 conf/isn/1994 IS&N db/conf/isn/isn1994.html#BerndtGW94