Modelling of processes and formal methods - Riesco, Daniel