Abstraction of Real-World Systems Review and Validation Protocol | Abstraction of Real-World Systems | Mathematics | NEROS