“…The use of the marine, pipeline, and power grid systems as an evaluation domain has been mentioned in five studies. The use of marine systems is mentioned in previous studies 76,77,108,122,123 . However, an interesting point to note is that all these publications stemmed from a single group applying a particular method: Abstract State Machines.…”