Subhankar Mukherjee Antara Ain S. K. Panda Rajdeep Mukhopadhyay Pallab Dasgupta A formal approach for specification-driven AMS behavioral model generation. 1512-1517 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090902&count=326&index=288 conf/date/2009 db/conf/date/date2009.html#MukherjeeAPMD09