@article {3514,
	title = {Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach},
	journal = {Lecture Notes in Computer Science},
	volume = {3707},
	year = {2005},
	month = {October},
	pages = {114--128},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Dubey_A_10_4_2005_Computatio.pdf},
	author = {Dubey, Abhishek and Xianbin, Wu and Hang, Su and Koo, T. John}
}
