Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.

Title	Re-Engineering of Educational Contexts in the Digital Transformation of Socio-Economic Interactions of Society
Author	Tsekhmister Yaroslav, Tetiana Konovalova, Tsekhmister Bogdan
Citation	Vol. 24  No. 3  pp. 135-141
Keywords	Digitalization of education, information and computer technology, educational processes, the transformation of the education system, reengineering of education.

Title	Novel ANFIS based SMC with Fractional Order PID Controller for Non Linear Interacting Coupled Spherical Tank System for Level Process
Author	Jegatheesh A, Agees Kumar C
Citation	Vol. 24  No. 2  pp. 169-177
Keywords	Nonlinear system, Performance indices, ANFIS based Sliding Mode Controller with Fractional order PID, PID controller, Spherical Tank System, FOPID Controller.

Title	A Systematic Review of Predictive Maintenance and Production Scheduling Methodologies with PRISMA Approach
Author	Salma Maataoui, Ghita Bencheikh, and Ghizlane Bencheikh
Citation	Vol. 24  No. 1  pp. 215-225
Keywords	Predictive maintenance; production scheduling; systematic review; PRISMA.