Tools for model-based real-time system synthesis | IEEE Conference Publication | IEEE Xplore