Gửi tin nhắn: A systematic process for obtaining the behavior of context-sensitive systems