A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software.

Masahiko Watanabe Akira Fukuda Michihiro Matsumoto Hirokazu Yatsu Ichiro Hosotani Shigeyuki Kido A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. 137-142 2007 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.8 conf/qsic/2007 db/conf/qsic/qsic2007.html#WatanabeFMYHK07