"Applying Jlint to Space Exploration Software."

Cyrille Artho, Klaus Havelund (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics