国際会議
[1] Naoyasu Ubayashi and Yasutaka Kamei, "Uml-Based Design and Verification Method for Developing Dependable Context-Aware Systems," In 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), pages 89-94, 2013.