Modal Logic / Verification and Validation / Temporal Logics / Real Time Systems / Temporal Constraints / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic