Birger Møller-Pedersen Dagbjørn Nogva Scalable and Object Oriented SDL State(chart)s. 59-73 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#Moller-PedersenN99