Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling." Technological Innovation for Cloud-Based Engineering Systems - 6th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings. 2015. 147-156.