Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock. A Layered Behavioural Model of Platelets. In 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. pages 98-106, IEEE Computer Society, 2006. [doi]
Abstract is missing.