Analysis and Design: FrontMechEngChina 2010, Prace Naukowe PW Elektronika, 2010,
Implementation: PAR 2012, Testing: PAR 2013
__
Paper in LNCS 2005