Estivill-Castro, V., Hexel, R., & McColl, M. (2018). High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs [Conference paper]. 1–8. https://doi.org/10.1109/RECONFIG.2018.8641710