Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. - Taro Kurita; Miki Chiba; Yasumasa Nakatsugawa (FM, 2008)

The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. - Taro Kurita; Yasumasa Nakatsugawa (Int. J. Softw. Informatics, 2009)