Design and development of MIRI, the mid-IR instrument for JWST | Publicación