@article{Sta08,
title = { Formal Analysis Tools for the Synchronous Aspect Language Larissa },
author = {Stauch, David},
year = {2008},
journal = {EURASIP Journal on Embedded Systems},
pages = {18},
team = {SYNC},
}
