Issam A. Hamid: A dynamic Extension for the Specification of Distributed Systems. APSEC 1996: 256-267