publicações BUSINESS PROCESS VARIABILITY: A SYSTEMATIC LITERATURE REVIEW Documento Mapping Live Sequence Charts to Coloured Petri Net for Analysis and Verification of Embedded Systems Documento