@misc
{TN_libero_mab2,
author = {
Eidson, John C.
AND
Lee, Edward A.
AND
Matic, Slobodan
AND
Seshia, Sanjit A.
AND
Zou, Jia
},
title = {
Distributed Real-Time Software for Cyber–Physical Systems
},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
isbn = {1558-2256},
isbn = {0018-9219},
keywords = {
Electrical and Electronic Engineering
},
year = {2012},
url = {
https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTEwOS9qcHJvYy4yMDExLjIxNjEyMzc&tx_find_find%5Btype%5D=bibtex
}
}