Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications. - Athira Varma Jayakumar; Smitha Gautham; D. Richard Kuhn; Brandon J. Simon; Aidan G. Collins; Thomas Dirsch; Raghu Kacker; Carl R. Elks (ISSRE Workshops, 2020)