Using the Model Checker Spin for Web Application Design. - Kei Homma; Satoru Izumi; Yuki Abe; Kaoru Takahashi; Atsushi Togashi (SAINT, 2010)

Modeling Web Applications Design with Automata and Its Verification. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (ISADS, 2011)

Modeling, Verification and Testing of Web Applications Using Model Checker. - Kei Homma; Satoru Izumi; Kaoru Takahashi; Atsushi Togashi (IEICE Trans. Inf. Syst., 2011)