Stefan Fischer: Towards the automatic generation of quality-of-service-preserving implementations from formal specifications. Comput. Commun. 22(3): 211-223 (1999)