Paulo Blauth Menezes José Félix Costa Amílcar Sernadas Refinement Mapping for General (Discrete Event) Systems Theory. 103-116 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#MenezesCS95 http://dx.doi.org/10.1007/BFb0034753