Integrated modelling of business processes and real time communication for public transport: Modelling connection protection with business process model and notation | IEEE Conference Publication | IEEE Xplore