@article{Raji2010a,
Author = {Amine Raji and Philippe Dhaussy},
Date-Added = {2010-03-02 16:34:08 +0100},
Date-Modified = {2010-08-26 19:30:00 +0200},
Journal = {IDM},
Local-Url = {file://localhost/Users/amine/Documents/Papers/2010/Automatic%20Formal%20Model%20Derivation%20from%20Use%20Cases.pdf},
Month = {Mar},
Pages = {1--8},
Rating = {0},
Title = {Automatic Formal Model Derivation from Use Cases},
Uri = {papers://A51F8313-82CE-4A27-B72F-5E5502BF1679/Paper/p4404},
Year = {2010},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAfwAAAAAAfwAAgAAA2xlbwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMf3jDJIKwAAAAkUlR9BdXRvbWF0aWMgRm9ybWFsIE1vZGUjOTE0QTAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACRSgx7FI9AAAAAAAAAAAAAEABAAACSAAAAAAAAAAAAAAAAAAAAAEMjAxMAAQAAgAAMf3cBIAAAARAAgAAMexOuQAAAABABQACRSVAAkSQwAEBM4ABATBAANXyAACAEVsZW86VXNlcnM6YW1pbmU6RG9jdW1lbnRzOlBhcGVyczoyMDEwOkF1dG9tYXRpYyBGb3JtYWwgTW9kZSM5MTRBMC5wZGYAAA4AagA0AEEAdQB0AG8AbQBhAHQAaQBjACAARgBvAHIAbQBhAGwAIABNAG8AZABlAGwAIABEAGUAcgBpAHYAYQB0AGkAbwBuACAAZgByAG8AbQAgAFUAcwBlACAAQwBhAHMAZQBzAC4AcABkAGYADwAIAAMAbABlAG8AEgBWVXNlcnMvYW1pbmUvRG9jdW1lbnRzL1BhcGVycy8yMDEwL0F1dG9tYXRpYyBGb3JtYWwgTW9kZWwgRGVyaXZhdGlvbiBmcm9tIFVzZSBDYXNlcy5wZGYAEwABLwAAFQACAAz//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QTS4uL0RvY3VtZW50cy9QYXBlcnMvMjAxMC9BdXRvbWF0aWMgRm9ybWFsIE1vZGVsIERlcml2YXRpb24gZnJvbSBVc2UgQ2FzZXMucGRm0hwdJCWiJSFcTlNEaWN0aW9uYXJ5EgABhqBfEA9OU0tleWVkQXJjaGl2ZXIACAARABYAHwAoADIANQA6ADwARQBLAFIAXQBlAGwAbwBxAHMAdgB4AHoAfACGAJMAmACgAqACogKnArACuwK/As0C1ALdAy0DMgM1A0IDRwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANZ}}