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)