Design and use of a system-level specification and verification methodology | IEEE Conference Publication | IEEE Xplore