Jongmans S-STQ, Clarke D, Proença J.? 2016.??A procedure for splitting data-aware processes and its application to coordination. Science of Computer Programming. 115-116:47-78.