GTL: A SPECIFICATION LANGUAGE FOR CONCURRENT SYSTEMS. - Leon G; Gonzalez F; de Miguel T; de la Cruz P (1984)