Pao-Ann Hsiung, Chuen-Hau Gao. Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electronic Notes in Theoretical Computer Science, 65(6):140-159, 2002. [doi]
@article{HsiungG02,
title = {Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets},
author = {Pao-Ann Hsiung and Chuen-Hau Gao},
year = {2002},
url = {http://www.elsevier.com/gej-ng/31/29/23/117/51/show/Products/notes/index.htt#011},
tags = {embedded software},
researchr = {https://researchr.org/publication/HsiungG02},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {140-159},
}