Developing high-assurance secure systems with UML: a smartcard-based purchase protocol | IEEE Conference Publication | IEEE Xplore