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