Design, analysis, and implementation of a telemedicine remote consultation and diagnosis session playback using discrete event system specification | Publicación