Power-aware test scheduling framework for IEEE 1687 multi-power domain networks using formal techniques. (July 2022)