Integrating object-oriented design with Petri nets-case study of ATM system | IEEE Conference Publication | IEEE Xplore