Talk:TAPAAL Model Checker

External links related to the tool TAPAAL were added, including the homepage and links to selected publications at the publisher Springer-Verlag where the tool has been presented.

I would really like to upload some screenshots, can someone help me with this? — Preceding unsigned comment added by Srba (talk • contribs) 08:33, 11 February 2012 (UTC)