A distributed specification model and its prototyping | IEEE Journals & Magazine | IEEE Xplore