System Specification and Design Languages Selected Contributions from FDL 2010 - Kaźmierski, Tom J.; Morawiec, Adam (Springer New York, 2012)