The MacBeth specification, modeling and programming language | IEEE Conference Publication | IEEE Xplore