D Mažeika, R Butleris - Security and Communication Networks, 2020 - Wiley Online Library
Model‐Based System Engineering (MBSE) provides a number of ways on how to create,
validate, and verify the complex system design; unfortunately, the inherent security aspects …