إلى السؤال الأساسي بالنسبة لنا هو كيف يمكن أن يكون تصميم وبناء والتحقق من نظم مادية إلكترونية مضمونة وموثوقة ويمكن التنبؤ بها
 To the fundamental question for us is  how can be design and build and verify  reliable predictable and secured cyber physical systems