Transactification of a real-world system library

Workshops 2010