@BACHELORTHESIS{Justice2013,
address = {Oldenburg, Germany},
author = {Justice, Benjamin},
month = {11},
publisher = {University of Oldenburg},
school = {Carl von Ossietzky Universität Oldenburg},
title = {Natural Language Specifications for Safety-Critical Systems},
year = {2013}
}