Formal Specification with the Java Modeling Language - Huisman, Marieke; Ahrendt, Wolfgang; Grahl, Daniel; Hentschel, Martin (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016)