10 M. Masmano I. Ripoll A. Crespo 2007 PaRTiKle users manual Valencia Real-Time Systems Group, Polytechnic University of Valencia 13 http://www.e-rtl.org/partikle/fileshare/files/5/partikle_usermanual.pdf