@bachelorsthesis{lutz_12:bachelor,
title = {Model-based Monitoring for Sensitive SCADA Systems},
author = {Joachim Lutz},
year = {2012},
date = {2012-01-01},
school = {Saarland University},
keywords = {}
}