使用动作语言验证器验证参数化分层状态机| IEEE会议出版物| IEEE Xplore