Betty Cheng received a gift from Siemens Corporate Research to support the project "Behavior-Oriented Assurance Patterns for Rigorously Developing Distributed Real-Time Embedded Systems". The project will involve collaboration between Betty Cheng and her students with Siemens Corporate Research, Siemens Dematic, and Siemens Critical Healthcare Systems groups.