1
Formal Methods in Software and Systems Modeling [E-Book] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday