2008
A Runtime-Monitoring-Based Dependable Software Construction Method.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008