Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.