https://bioengineer.org/computer-scientists-receive-award-for-pioneering-work-on-time-critical-software-systems/