A Test Environment for High Integrity Software Development | Publicación