Nirikshan: mining bug report history for discovering process maps, inefficiencies and inconsistencies
Conformance Checking of Processes Based on Monitoring Real Behavior