Specification of a gas station using a formalism integrating formal datatypes within state diagrams | IEEE Conference Publication | IEEE Xplore