Towards resource-certified software: a formal cost model for time and its application to an image-processing example.

Armelle Bonenfant Zezhi Chen Kevin Hammond Greg Michaelson Andrew M. Wallace Iain Wallace Towards resource-certified software: a formal cost model for time and its application to an image-processing example. 1307-1314 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244285 db/conf/sac/sac2007.html#BonenfantCHMWW07