Shifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones?