%0 Book
%A  edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.
%T Behavioral Specifications of Businesses and Systems
%U /book/89944963/Behavioral-Specifications-of-Businesses-and-System/