A multi-objective decision-theoretic exploration algorithm for platform-based design | IEEE Conference Publication | IEEE Xplore