Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim. Testing of Safety-Critical Software Embedded in an Artificial Heart. In Chris Dale, Tom Anderson, editors, Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011. pages 143-153, Springer, 2011. [doi]