SMACS: A framework for formal verification of complex adaptive systems. - Muhammad Ilyas Fakhir; Syed Asad Raza Kazmi; Awais Qasim; Atif Ishaq (Open Comput. Sci., 2023)