| Authors | R. K. Panesar-Walawege, M. Sabetzadeh and L. Briand |
| Title | Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation |
| Afilliation | Software Engineering, Software Engineering |
| Status | Published |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Journal | Information and Software Technology |
| Volume | 55 |
| Pagination | 836-864 |
| Publisher | Elsevier |
| Citation Key | 24491 |
By thinking constantly about it…