ETL systems modelling with Coloured Petri Nets - Silva, Diogo (2013)