JavaMaC: a run-time assurance tool for Java programs,” (2001)

by M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Venue:Electronic Notes in Theoretical Computer Science,