System Specification and Design Languages - Kazmierski, Tom J.; Kamierski, Tom J.; Morawiec, Adam (Springer New York, 2012)