Graphical animation of behavior models.

Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer

Browse the full ICSE paper archive.