Donglin Liang Kai Xu 0002 Monitoring with Behavior View Diagrams for Debugging. 637-644 2005 conf/apsec/2005 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.82 db/conf/apsec/apsec2005.html#LiangX05