Text this: A formal specification framework for smart grid components