Optimal Power Flow with Stability Constraints: Redispatching procedures to ensure power system security in the context of real-time operation