Business process modeling, simulation and design - Laguna, Manuel; Marklund, Johan (CRC Press, 2013)