An algorithm to determine mutually exclusive operations in behavioral descriptions | IEEE Conference Publication | IEEE Xplore