1. Abrial, J.-R.: The B-Book–Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Aichernig, B.K.: Overture tool: formal modelling in VDM. Download. Examples repository. A telephone exchange in VDM-SL. www.overturetool.org/download/examples/VDMSL/telephoneSL/index.html, November 1998
3. Asmat, M., Khan, S.U.R., Hussain, S.: Uncertainty handling in cyber-physical systems: state-of-the-art approaches, tools, causes, and future directions. J. Softw. Evol. Process 35, e2428 (2022)
4. Audebaud, P., Paulin-Mohring, C.: Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74(8), 568–589 (2009)
5. Aydal, E.G., Paige, R.F., Woodcock, J.: Evaluation of OCL for large-scale modelling: a different view of the Mondex purse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008)