1. M. Brambilla , J. Cabot , and M. Wimmer , " Model-driven software engineering in practice," Synthesis lectures on software engineering , vol. 3 , no. 1, pp. 1--207, 2017. M. Brambilla, J. Cabot, and M. Wimmer, "Model-driven software engineering in practice," Synthesis lectures on software engineering, vol. 3, no. 1, pp. 1--207, 2017.
2. ISO , "ISO26262 : Road vehicles - Functional safety ," 2011 . ISO, "ISO26262: Road vehicles - Functional safety," 2011.
3. A Classification and Survey of Analysis Strategies for Software Product Lines
4. Type checking annotation-based product lines
5. C. Brabrand , M. Ribeiro , T. Tolêdo , and P. Borba , " Intraprocedural dataflow analysis for software product lines," in Proceedings of the 11th annual international conference on Aspect-oriented Software Development , 2012 , pp. 13 -- 24 . C. Brabrand, M. Ribeiro, T. Tolêdo, and P. Borba, "Intraprocedural dataflow analysis for software product lines," in Proceedings of the 11th annual international conference on Aspect-oriented Software Development, 2012, pp. 13--24.