Functional Specification of Synchronized Processes Based on Modal Logic. - Naoki Yonezaki; Takao Katayama (ICSE, 1982)