Lisp for hard realtime systems (franz.com)