Describir: Specification and veritification of concurrent systems /