Linh Thao Ly SeaFlows - a compliance checking framework for supporting the process lifecycle. 2013 University of Ulm http://vts.uni-ulm.de/docs/2013/8664/vts_8664_12857.pdf https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-86649 https://d-nb.info/1041284705