Micro Twitter model in Alloy