Using transition systems and regions to analyze and monitor admission procedures of a hospital | IEEE Conference Publication | IEEE Xplore