Benso, A.; Chiusano, S.; Prinetto, P. (2000). "A software development kit for dependable applications in embedded systems". Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159). pp. 170–8. doi:10.1109/TEST.2000.894204. ISBN0-7803-6546-1. S2CID206679243.
Benso, A.; Chiusano, S.; Prinetto, P. (2000). "A software development kit for dependable applications in embedded systems". Proceedings International Test Conference 2000 (IEEE Cat. No.00CH37159). pp. 170–8. doi:10.1109/TEST.2000.894204. ISBN0-7803-6546-1. S2CID206679243.