Business-IT Alignment in Cloud environment : Survey on the use of process mining | IEEE Conference Publication | IEEE Xplore