Ralph-Johan Back Kaisa Sere Superposition Refinement of Reactive Systems. 324-346 1996 8 Formal Aspects Comput. 3 db/journals/fac/fac8.html#BackS96 https://doi.org/10.1007/BF01214918