Simplifying the writing of specifications: a language and its interface | IEEE Conference Publication | IEEE Xplore