SELF-TIMING-tools for hardware support of parallel, concurrent and event-driven process control | IEEE Conference Publication | IEEE Xplore