Combining formal methods for embedded systems - Phạm Trần Nhu.