@article{KKL04, author = {M.~Kim and S.~Kannan and I~.Lee and O.~Sokolsky and M.~Viswanathan}, title = "{J}ava-{M}a{C}: A Run-Time Assurance Approach for Java Programs", journal = "Formal Methods in System Design (FMSD)", volume=24, number=2, pages="129--155", year="2004", month="March" }