@incollection{Miku_ionis_2010,
    doi = {10.1007/978-3-642-16561-0_21},
    url = {https://doi.org/10.1007%2F978-3-642-16561-0_21},
    year = {2010},
    publisher = {Springer Berlin Heidelberg},
    pages = {175--190},
    author = {Marius Miku{\v{c}}ionis and Kim Guldstrand Larsen and Jacob Illum Rasmussen and Brian Nielsen and Arne Skou and Steen Ulrik Palm and Jan Storbank Pedersen and Poul Hougaard},
    title = {Schedulability Analysis Using Uppaal: Herschel-Planck Case Study},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Miku_ionis_2010, doi = {10.1007/978-3-642-16561-0_21}, url = {https://doi.org/10.1007%2F978-3-642-16561-0_21}, year = {2010}, publisher = {Springer Berlin Heidelberg}, pages = {175--190}, author = {Marius Miku{\v{c}}ionis and Kim Guldstrand Larsen and Jacob Illum Rasmussen and Brian Nielsen and Arne Skou and Steen Ulrik Palm and Jan Storbank Pedersen and Poul Hougaard}, title = {Schedulability Analysis Using Uppaal: Herschel-Planck Case Study}, booktitle = {Lecture Notes in Computer Science} }