<li>an executable formalization of the operational semantics of
any <a href="http://www.freescale.com">Freescale</a>
micro-controller of the <a href="http://www.freescale.com/webapp/sps/site/homepage.jsp?nodeId=0162468449&tid=FSH">HC05/HC08/RS08/HCS08 families</a>
<li>an executable formalization of the operational semantics of
any <a href="http://www.freescale.com">Freescale</a>
micro-controller of the <a href="http://www.freescale.com/webapp/sps/site/homepage.jsp?nodeId=0162468449&tid=FSH">HC05/HC08/RS08/HCS08 families</a>