@inproceedings{WHW+12,
title = {Modeling and Validation of a Data Process Unit Control for Space Applications },
author = {Wan, Hai and Huang, Chongdi and Wang, Yuhui and He, Fei and Gu, Ming and Chen, Rui and Bozga, Marius},
month = {February},
year = {2012},
booktitle = {Proceedings of ERTS'2012 - Embedded Real-Time Software and Systems, Toulouse, France},
team = {DCS, RSD},
}
