Hyoung Seok Hong Sung Deok Cha Yong Rae Kwon On the concurrent behaviour of SCR specifications. 258-263 1997 conf/compsac/1997 COMPSAC http://computer.org/proceedings/compsac/8105/81050258abs.htm db/conf/compsac/compsac1997.html#HongCK97