Support for representation of functional behaviour specifications in AP-233 | IEEE Conference Publication | IEEE Xplore