acs - Revision 1715: /www/redmine/attachments/106
..
McScM_TACAS12_talk.pdf