Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application. - Mehran Rivadeh; Seyed-Hassan Mirian-Hosseinabadi (Softw. Syst. Model., 2023)