Joseph Y.-T. Leung: Imprecise Computation Model. Handbook of Real-Time and Embedded Systems 2007