From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. - Omar Hjiej; Abdelmalek Benzekri; Alberto Valderruten (Decentralized and Distributed Systems, 1993)