Text this: Development Concept of Guaranteed Verification Electric Power System Simulation Tools and Its Realization