Calypso: an implementation of the order graph method | IEEE Conference Publication | IEEE Xplore