Power Domain Properties Extension

Contents