An application of code specification based on CSLA | IEEE Conference Publication | IEEE Xplore