Implicit functionality and multiple branch coverage (IFMB): a testability metric for RT-level

@inproceedings{Gonalves2001ImplicitFA,
  title={Implicit functionality and multiple branch coverage (IFMB): a testability metric for RT-level},
  author={Fernando M. Gonçalves and Marcelino B. Santos and Isabel C. Teixeira and Jo{\~a}o Paulo Teixeira},
  booktitle={ITC},
  year={2001}
}