1. Lecture Notes in Computer Science;P Anantharaman,2020
2. Barnes, J., Johnson, R., Widmaier, J.C.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Proceedings (2006)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Barras,2013
4. Bockenek, J., Lammich, P., Nemouchi, Y., Wolff, B.: Using Isabelle/UTP for the verification of sorting algorithms. In: Proceedings of the Isabelle Workshop, FLoC 2018, Proceedings (2018)
5. Burns, A., Davis, R.: Mixed criticality systems-a review. Department of Computer Science, University of York, Technical report, pp. 1–69 (2013)