Formal modeling and analysis of time- and resource-sensitive simple business processes. - Kazuhiro Ogata 001; Thapana Chaimanont; Min Zhang 002 (J. Inf. Secur. Appl., 2016)