Deterministic Systems Design from Functional Specifications | IEEE Conference Publication | IEEE Xplore