1. ARM Cortex-A5 processor.
http://www.arm.com/products/processors/cortex-a/cortex-a5.php
2. Ballybot balancing robots.
http://robotics.ee.uwa.edu.au/eyebot/doc/robots/ballybot.html
3. MESS: memory performance checker for embedded multi-core systems.
http://sudiptac.bitbucket.org/papers/mess-extended.pdf
4. Samsung Exynos processor.
http://www.samsung.com/global/business/semiconductor/file/product/Exynos_5_Dual_User_Manaul_Public_REV100-0.pdf
5. Z3 Constraint solver.
http://z3.codeplex.com/