Formal object-oriented analysis and design of an online ticketing system | IEEE Conference Publication | IEEE Xplore