Resource-Parameterized Timing Analysis of Real-Time Systems. 

TitleResource-Parameterized Timing Analysis of Real-Time Systems. 
Publication TypeConference Proceedings
Year of Conference2015
AuthorsKim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B.
Conference NameHaifa Verification Conference 2015
Pagination190-205
PublisherSpringer
ISBN Number978-3-319-26286-4