Formal specification and documentation of microprocessor instruction sets

Lyrebird: assigning meanings to machines

SSV'10 Proceedings of the 5th international conference on Systems software verification

Managing complexity through abstraction: a refinement-based approach to formalize instruction set architectures

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering

Verification of hardware interaction properties of software

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z

A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes

ACM Transactions on Embedded Computing Systems (TECS)