Determining Linear Temporal Logic Formula for Decomposed Process Model

A paper presenting Determining Linear Temporal Logic Formula for Decomposed Process Model