Reversing concurrent systems into formal specificationsK.R.P.H. LeungC.F.S. Yim1994ASPCE 1994Conference paper