Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder. RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Autom. for Emb. Sys., 10(4):209-227, 2005. [doi]
@article{PosadasAVBE05, title = {RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model}, author = {Hector Posadas and Jesús Ádamez and Eugenio Villar and Francisco Blasco and F. Escuder}, year = {2005}, doi = {10.1007/s10617-006-9725-1}, url = {http://dx.doi.org/10.1007/s10617-006-9725-1}, researchr = {https://researchr.org/publication/PosadasAVBE05}, cites = {0}, citedby = {0}, journal = {Design Autom. for Emb. Sys.}, volume = {10}, number = {4}, pages = {209-227}, }