1. L. Jacobson, J.R.G. Booch, The unified modeling language reference manual, 2021.
2. The Object Constraint Language: Precise Modeling with UML;Warmer,1998
3. Model-based incremental conformance checking to enable interactive product configuration;Lu;Inf. Softw. Technol.,2016
4. Architecture-level configuration of large-scale embedded software systems;Behjati;ACM Trans. Softw. Eng. Methodol. (TOSEM),2014
5. Oacv: ocl-based avionics component verification;Hong,2020