Use of functional descriptions in specifying drive systems | IEEE Journals & Magazine | IEEE Xplore