System specification and design languages selected contributions from FDL 2010 - Kaźmierski, Tom J.; Morawiec, Adam (Springer, 2012)