A Specification Technique for Model Based Derivation of Speech Interfaces | IEEE Conference Publication | IEEE Xplore