Heping He Hussein Zedan A fast prototype tool for parallel reactive systems. 251-266 1996 42 Journal of Systems Architecture 4 http://dx.doi.org/10.1016/1383-7621(96)00024-0 db/journals/jsa/jsa42.html#HeZ96