Novarun Deb, Nabendu Chaki, Mandira Roy, Surochita Pal, Ankita Bhaumik: Extracting Business Compliant Finite State Models from I ^* Models. ACSS (1) 2019: 39-52