Ferhat Khendek Gregor von Bochmann Incremental Construction Approach for Distributed System Specifications. 87-102 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#KhendekB93