Extending the 4-Variable Approach to Cyber-Physical Systems: A Practical Experience. - Leo Ordínez; Omar Alimenti; Emilia Rinland; Marisa Gomez; Jorge Marchetti (WER, 2012)