"in the pioneering INMOS Transputer, a partial hardware implementation of C.A.R. Hoare's Communicating Sequential Processes(CSP)process algebra"/"timer and associated time-out functionality for services were model checked using the Uppaal Model Checker"
1
OpenComRTOS - Wikipedia
