Safety critical Java technology (2007)