A template for formalising reliable Acme-based software architecture. - Rida Mezghache; Fadila Atil (Int. J. Comput. Appl. Technol., 2018)