The development of ESBMC was supported by EPSRC under the NOTOS project (grant EP/E012973/1), Royal Society, and Nokia Institute of Technology.