Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)