Annette Bunker Ganesh Gopalakrishnan Konrad Slind Live sequence charts applied to hardware requirements specification and verification. 341-350 2005 7 STTT 4 http://dx.doi.org/10.1007/s10009-004-0145-x db/journals/sttt/sttt7.html#BunkerGS05