Verification and Validation of Formal Data-Centric Business Models. - Timur Umarov; Rustem Kamun; Askhat Omarov; Sanzhar Altayev (EGC, 2015)