Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal. - José Gonçalo A. Oliveira Basto da Silva; Paulo Rupino da Cunha (HICSS, 2006)