Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem : doktorski rad = Framework for visual modelling and formal verification of business process execution based on two-way mapping models : doctoral thesis - Matković, Jelena, inženjerka računalstva; Fertalj, Krešimir (2019)