This list is a selection of articles. We list only papers written by people external to the development group, but we also use our tool ourselves (see next section).