Courbot, et al.. A Low-footprint Java-to-native Compilation Scheme Using Formal Methods. Springer Berlin Heidelberg, 2006, doi:10.1007/11733447_24.