Projects
ARCADE.PLC: Aachen Rigorous Code Analysis and Debugging Environment for PLCs
Smart Medical Information Technology for Healthcare
Projects of the Cyber-physical Mobility Group
A list of already completed projects can be found
here