New structure.
Minor fixes to the formalization
Title.
Case studies
Merge pull request #1 from vjovanov/skeleton

Skeleton