TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems | IEEE Conference Publication | IEEE Xplore