BTOZ: a formal specification language for formalizing business transactions | IEEE Conference Publication | IEEE Xplore