ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS