A specification method for cleanroom's black box description | IEEE Conference Publication | IEEE Xplore