Inside of composite Web service development. - Jelena Matkovic; Kresimir Fertalj (MIPRO, 2011)

Models for the development of Web service orchestrations. - Jelena Matkovic; Kresimir Fertalj (MIPRO, 2012)

Formal checking of WS-BPEL orchestrations. - Jelena Matkovic; Kresimir Fertalj (MIPRO, 2014)

Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem ; Framework for visual modelling and formal verification of business process execution based on two-way mapping models. - Jelena Matkovic (2019)