Model-Based Design of Body Motion Sensing Technology using Systems Modeling Language and Coloured Petri Nets. - Francisco Javier Mejia; Jose Isidro Garcia; Celia E. Hurtado (HealthCom, 2019)