Formal Modeling for Information Appliance Using Abstract MVC Architectureに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。