Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration | IEEE Conference Publication | IEEE Xplore