@article{article, title = {{Modelling Second-Order Uncertainty in State-Based Systems}}, publisher = {{Institute of Electrical and Electronics Engineers}}, url = {{}}, year = {{2023}}, month = {{2}}, author = {{Walkinshaw N and Hierons R}}, journal = {{IEEE Transactions on Software Engineering}}, note = {{Accessed on 2024/12/21}}}