Overview of the results of the Esprit basic research action DEMON-design methods based on nets | IEEE Conference Publication | IEEE Xplore