Hamdan Dammag Nimal Nissanke Safecharts for Specifying and Designing Safety Critical Systems. 78-87 1999 SRDS http://computer.org/proceedings/srds/0290/02900078abs.htm db/conf/srds/srds99.html#DammagN99