Rapid re-engineering of embedded real-time systems via cost-benefit analysis with K-level diagonal search | IEEE Conference Publication | IEEE Xplore