Samuel Kitces John E. Bauer Parametric Relationships for Self-Contained Test for Digital Avionics Functions. 226-230 1981 conf/itc/1981 ITC db/conf/itc/itc1981.html#KitcesB81