Tung Le - High Integrity System - Frankfurt University of Applied ...