Text this: Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates