Gonzalo León Juan C. Yelmo Carlos Sánchez F. Javier Carrasco Juan J. Gil An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. 83-92 1993 conf/fm/1993 FME db/conf/fm/fme1993.html#LeonYSCG93 http://dx.doi.org/10.1007/BFb0024640