Development and Industrial Application of Multi-Domain Security Testing Technologies
VERification-oriented & component-based model Driven Engineering for real-time embedded systems