Verification of a Smart Power Control System using Hybrid Actors