Introduction and background to Synchronous Unit Testing and Model Validation in the WSCC | IEEE Conference Publication | IEEE Xplore