CAMeL/spl minus/an open CACSD environment | IEEE Conference Publication | IEEE Xplore