1. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)
2. BSI: Protection Profile for the Gateway of a Smart Metering System (Smart Meter Gateway PP). Common Criteria Protection Profile BSI-CC-PP-0073, Bundesamt für Sicherheit in der Informationstechnik (2014)
3. Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: Fourth IEEE Symposium on Logic in Computer Science (1989)
4. Lecture Notes in Computer Science;P Collet,2007
5. Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems. Artech House, New York City (2002)