Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem : doktorski rad - Matković, Jelena (J. Matković ; Fakultet elektrotehnike i računarstva, 2019)