@inproceedings{inproceedings, title = {{Specification and analysis of automata-based designs}}, url = {{}}, year = {{2000}}, month = {{1}}, author = {{Bryans J and Blair L and Bowman H and Derrick J}}, volume = {{1945}}, journal = {{INTEGRATED FORMAL METHODS, PROCEEDINGS}}, pages = {{176-193}}, note = {{Accessed on 2025/07/26}}}