@inbook{153d3770fdcd11de9a61000ea68e967b,
title = "Model-based Framework for Schedulability Analysis Using Uppaal 4.1",
keywords = "Schedulability Analysis, Multiprocessor Systems, Model Checking, UPPAAL, Schedulability Analysis, Multiprocessor Systems, Model Checking, UPPAAL",
author = "Alexandre David and Rasmussen, {Jacob Illum} and Larsen, {Kim Guldstrand} and Arne Skou",
year = "2009",
language = "English",
isbn = "978-1-4200-6784-2",
series = "Computational Analysis, Synthesis, and Design of Dynamic Systems",
publisher = "CRC Press",
pages = "93--119",
editor = "Gabriela Nicolescu and {J. Mosterman}, Pieter",
booktitle = "Model-Based Design for Embedded Systems",
edition = "1",
}