Akira Takura Keizo Kawata Tadashi Ohta Process Specification Generation from Communications Service Specifications. 167-182 1995 2 Autom. Softw. Eng. 2 db/journals/ase/ase2.html#TakuraKO95