You can read the full text of the articles marked as below using the links provided.
2015 Vol. 7 No. 1/2
Special Issue on Applied Formal Methods in Computer, Control, and Communications Systems
Guest Editors: Professor Pece J. Mitrevski and Professor Cvetko D. Mitrovski