Temporal Specifications Directed by Grammar and Design of Process Networks. - Francois D. Carrez; Dominique Méry (Specification and Verification of Concurrent Systems, 1988)