@techreport{36153dd50adb41a489da35e37b9c2e37,
title = "Model Checking Embedded Control Software",
keywords = "embedded software, model checking, real-time, embedded software, model checking, real-time, embedded software, model checking, real-time",
author = "Juho Frits",
year = "2010",
language = "English",
isbn = "978-952-60-3102-6",
series = "TKK reports in information and computer science",
publisher = "Aalto-yliopiston teknillinen korkeakoulu",
number = "28; TKK-ICS-R28",
pages = "64",
type = "WorkingPaper",
institution = "Aalto-yliopiston teknillinen korkeakoulu",
}