Text this: On applicability of model checking technique in power systems and electric power industry