1. Lecture Notes in Computer Science;H Barringer,2011
2. Barringer, H., Havelund, K., Kurklu, E., Morris, R.: Checking flight rules with TraceContract: application of a Scala DSL for trace analysis. In: Scala Days 2011. Stanford University, California (2011)
3. BIP. http://www-verimag.imag.fr/Rigorous-Design-of-Component-Based.html
4. Bocchino, R., Canham, T., Watney, G., Reder, L., Levison, J.: F Prime: an open-source framework for small-scale flight software systems. In: 32nd Annual AIAA/USU Conference on Small Satellites. Utah State University (2018)
5. cFS. https://cfs.gsfc.nasa.gov