FORmal specification of embedded systems in ExSpect
Networked Digital Library of Theses and Dissertations