Expander2.

Published in: Formal Methods in Software and Systems Modeling (2005)