Fire department uses cameo to control hazmats derailment
Recent advances in automated testing of conflict monitors