Architecture synthesis and partitioning of real-time systems: a comparison of three heuristic search strategies | IEEE Conference Publication | IEEE Xplore