Executable Specifications using Message Sequence Charts Abhik Roychoudhury School of Computing National University of Singapore Internal Talk, Oct 1 2002 MSCs – What Depict…