Reversing concurrent systems into formal specifications. - Karl R. P. H. Leung; Clement F. S. Yim (APSEC, 1994)