... http://www.eiffel.com/doc/manuals/technology/contract/page.html Kalinsky, David, 1998 "Mutexes Prevent Priority Inversions", Embedded Systems Programming, August, 76−81 Kalinsky, David 2001 "Queueing Theory for Dummies", Embedded Systems Programming, April, ... 2000 "Design by Contract for C Programmers", Embedded Systems Programming, July, 100 106 Labrosse, Jean J 1992a A portable real−time kernel in C Embedded Systems Programming, May, 40−53 Labrosse, ... Systems Programming, September, 78−86 Murphy, Niall 2001a Assertiveness Training for Programmers Embedded Systems Programming, April, 53−60 Murphy, Niall 2001b Assert yourself Embedded Systems Programming, ...