Behavioral Specifications of Businesses and Systems by Haim Kilov & Bernhard Rumpe